Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
نویسندگان
چکیده
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic networked environment. We constructed a model of INS in Alloy, a lightweight relational notation, and analyzed it with Alcoa, a fully automatic simulation and checking tool. In doing so, we exposed several serious flaws in both the algorithm of INS and the underlying naming semantics. We were able to characterize the conditions under which the existing INS scheme works correctly, and evaluate proposed fixes.
منابع مشابه
Correcting a Naming Architecture using Lightweight Constraint Analysis
We used lightweight formal modeling and automatic analysis to explore and correct the design and implementation of the Intentional Naming System (INS). INS is a new scheme for resource discovery and service location in dynamic networks. We constructed a model of INS in Alloy, a lightweight relational notation, and analyzed it with the Alloy Analyzer (AA), a fully automatic simulation and checki...
متن کاملExploring the Design of an Intentional Naming
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic networked environment. We constructed a model of INS in Alloy, a lightweight relational notation, and analyzed it with Alcoa, a fully automatic simulation and checking tool. In doing so, we exposed several serious flaws in bo...
متن کاملDesign and implementation of an automatic car turning system
In this paper, a control system is designed for automatic car turning. At first, the necessary information of car turning that were collected from the traffic bylaw, car driving training centers and traffic police are explained. Then, car turning is studied experimentally on several streets with different widths. Afterward, a proper path is designed for the automatic car turning system consider...
متن کاملDesign of Fuzzy Logic Based PI Controller for DFIG-based Wind Farm Aimed at Automatic Generation Control in an Interconnected Two Area Power System
This paper addresses the design procedure of a fuzzy logic-based adaptive approach for DFIGs to enhance automatic generation control (AGC) capabilities and provide better dynamic responses in multi-area power systems. In doing so, a proportional-integral (PI) controller is employed in DFIG structure to control the governor speed of wind turbine. At the first stage, the adjustable parameters of ...
متن کاملTesting an Intentional Naming Scheme Using Genetic Algorithms
Various attempts have been made to use genetic algorithms (GAs) for software testing, a problem that consumes a large amount of time and e ort in software development. We demonstrate the use of GAs in automating testing of complex data structures and methods for manipulating them, which to our knowledge has not been successfully displayed before on non-trivial software structures. We evaluate t...
متن کامل